Tootfinder

This https://arxiv.org/abs/2401.14423 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

Prompt Design and Engineering: Introduction and Advanced Methods
Prompt design and engineering has rapidly become essential for maximizing the potential of large language models. In this paper, we introduce core concepts, advanced techniques like Chain-of-Thought and Reflection, and the principles behind building LLM-based agents. Finally, we provide a survey of tools for prompt engineers.

Untangling Critical Interaction with AI in Students Written Assessment
Antonette Shibani, Simon Knight, Kirsty Kitto, Ajanie Karunanayake, Simon Buckingham Shum
https://arxiv.org/abs/2404.06955

Untangling Critical Interaction with AI in Students Written Assessment
Artificial Intelligence (AI) has become a ubiquitous part of society, but a key challenge exists in ensuring that humans are equipped with the required critical thinking and AI literacy skills to interact with machines effectively by understanding their capabilities and limitations. These skills are particularly important for learners to develop in the age of generative AI where AI tools can demonstrate complex knowledge and ability previously thought to be uniquely human. To activate effective…

Back in 2011 I thought maybe using Social Networking tools for servers isn't a bad idea - tagged events etc. interested people can sign up and follow subsets of machines etc.
Trying this again with Mastodon and this fairly cool notification tool called Apprise https://github.com/caronc/apprise

Stack Representation of Finitely Presented Heyting Pretoposes I
Lingyuan Ye
https://arxiv.org/abs/2402.13099 https://arxiv.org/pdf/24…

Stack Representation of Finitely Presented Heyting Pretoposes I
This is the first of a series of papers on stack representation of finitely presented Heyting pretoposes. In this paper, we provide the first step by constructing a (2, 1)-site, which can be thought of as the site of finite Kripke frames, such that the (2,1)-category of finitely presented Heyting pretoposes contravariantly embeds into the (2,1)- topos of stacks on this (2, 1)-site. This provides an entry point to use categorical and higher sheaf-theoretic tools to study the properties of certai…

This https://arxiv.org/abs/2403.14680 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCY_…

Trust in AI: Progress, Challenges, and Future Directions
The increasing use of artificial intelligence (AI) systems in our daily life through various applications, services, and products explains the significance of trust/distrust in AI from a user perspective. AI-driven systems (as opposed to other technologies) have ubiquitously diffused in our life not only as some beneficial tools to be used by human agents but also are going to be substitutive agents on our behalf, or manipulative minds that would influence human thought, decision, and agency. T…

This https://arxiv.org/abs/2403.14680 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCY_…

Trust in AI: Progress, Challenges, and Future Directions
The increasing use of artificial intelligence (AI) systems in our daily life through various applications, services, and products explains the significance of trust/distrust in AI from a user perspective. AI-driven systems (as opposed to other technologies) have ubiquitously diffused in our life not only as some beneficial tools to be used by human agents but also are going to be substitutive agents on our behalf, or manipulative minds that would influence human thought, decision, and agency. T…

Trust in AI: Progress, Challenges, and Future Directions
Saleh Afroogh, Ali Akbari, Evan Malone, Mohammadali Kargar, Hananeh Alambeigi
https://arxiv.org/abs/2403.14680

Trust in AI: Progress, Challenges, and Future Directions
The increasing use of artificial intelligence (AI) systems in our daily life through various applications, services, and products explains the significance of trust/distrust in AI from a user perspective. AI-driven systems (as opposed to other technologies) have ubiquitously diffused in our life not only as some beneficial tools to be used by human agents but also are going to be substitutive agents on our behalf, or manipulative minds that would influence human thought, decision, and agency. T…